|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
|
|
Prostředí pro návrh digitálních obvodů s využitím vlastního jazyka typu HLS
Pastušek, Václav ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
V dnešní době existuje spoustu různých vysokoúrovňových syntéz pro popis digitálních obvodů. Ty nejznámější pak generují VHDL kód z programovacích jazyků jako jsou např.: ANSI C, C++, SystemC, SystemVerilog a MATLAB. Ale ne každý se ztotožní s programováním toho typu, proto je občas dobré přejít na vyšší úroveň abstrakce, kdy se schová vnitřní část komponentů, a pak se dané komponenty volají se vstupy a výstupy. Tato práce se zabývá problematikou návrhu HLS, návrhem vstupního pseudokódu, pseudoknihoven, překladače vytvořeném v jazyce Python, jeho moduly a praktickým použitím.
|
|
|
Překladač jazyka C pro mikroprocesor AVR32
Nagy, Michal ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou backendu architektury AVR32 pro překladač LLVM. Jádro práce tvoří seznamování se způsobem popisu architektur v LLVM a vlastní implementace backendu AVR32. Dále uvádím několik problémů, na které jsem během implementace narazil, a diskutuji jejich možná řešení. Výsledkem práce je funkční backend s několika omezeními zmíněnými v závěru práce.
|
|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Paralelní syntaktická analýza
Holko, Maroš ; Regéciová, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie paralelizácie boli použité vlákna. S prácou bola vytvorená aj konzolová aplikácia, v ktorej bol implementovaný paralelný CYK algoritmus. Zároveň bolo navrhnuté a implementované rozšírenie, ktoré zisťuje všetky postupnosti použitých pravidiel v prípade, že vstupný reťazec patrí do danej gramatiky. V závere sú diskutované jeho prednosti a nedostatky.
|
|
|
Kompilátor zdrojového kódu pro PLC SIMATIC
Kubát, Zdeněk ; Kaczmarczyk, Václav (oponent) ; Pásek, Jan (vedoucí práce)
Tato diplomová práce popisuje nezávislý kompilátor pro aplikace STEP 7 a WinCC V7.0 společnosti SIEMENS. Kompilátor zpracovává zdrojový soubor generovaný ze STEP 7 a následně ukládá zpracovaná data do mezisouboru typu .xls. Data mezisouboru slouží jako zdrojová data pro funkce generující soubory s tagy, připravenými na import do WinCC V7.0. Pro vytvoření kompilátoru v prostředí Visual Studio 2010 byl použit programovací jazyk C#.
|
|
|
Architecture Information for LLVM Compiler Optimizations
Svoboda, Jan ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
This thesis deals with the automatic extraction of processor architecture information from the CodAL language. Extracted information is used as the base for a cost model of the optimizer in the LLVM compiler. In this thesis, a new system was implemented, that creates the cost model, transforms it into a C++ code and compiles it into a dynamic library. This library is loaded at run-time by the compiler and used for better decision-making during the optimization process. The system achieves an average reduction in program code size of 14% and up to 68% improvement in the performance of the generated code.
|
|
|
Generování kódu z modelů Petriho sítí
Cibák, Michal ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cieľom tejto práce je analyzovať aktuálne riešenie generátoru kódu z Objektovo orientovaných Petriho sietí zapísaných v jazyku PNTalk do jazyku Java, navrhnúť jeho úpravy a implementovať ich. Ako prvý bol analyzovaný celkový návrh a boli špecifikované chýbajúce časti, následne bol analyzovaný zdrojový kód prekladača a boli odhalené chyby. Boli implementované navrhnuté opravy chýb v prekladači a niektoré chýbajúce časti z návrhu boli implementované čiastočne v rámci prekladača.
|
|
|
Zadní část překladače podmnožiny jazyka C pro 8-bitový procesor
Horník, Jakub ; Koutný, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
Překladač umožňuje programátorovi popisovat algoritmus ve vysokoúrovňovém programovacím jazyce s vyšší mírou abstrakce a strukturovaností, než poskytuje nízkoúrovňový strojový kód. Tato práce se týká návrhu zadní části překladače podmnožiny jazyka C pro 8bitový procesor Xilinx PicoBlaze-3, který je zde popsán od počátečního výběru vhodné přední části, návrhu architektury, až po samotnou implementaci. Jedním z důvodů této práce je, že není k dispozici uspokojující překladač pro tento procesor.
|
|
|
Překladač podmnožiny jazyka C v Pythonu
Lichtner, Ondrej ; Kaštil, Jan (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato bakalařská práce se věnuje návrhu a implementaci překladače jazyka C pro mikrokontrolér PicoBlaze. V současnosti je vývoj aplikací pro tento mikrokontrolér limitován na použití asembleru. Cílem této práce je tedy vytvořit překladač, který bude snadno upravitelný a rozširitelný. Návrh a implementace jsou rozděleny do modulů, z kterých každý vykonává jinou fázi překladu. Moduly takhle mohou být jednoduše vyměněny nebo rozšířeny.
|
host ::
RSS.